Xpb<delta43> Xpb<XPCS> http://identifiers.org/mgd/MGI:3836429 Ercc3<tm2Jhjh> MGI:3836429 targeted mutation 2, Jan H J Hoeijmakers